تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۲,۱۴ ثانیه یافت شد.

1. Formal modeling and analysis of timed systems :

پدیدآورنده : Uli Fahrenberg, Stavros Tripakis (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.

رده :

QA76

.

9

.

C65

F67

2011

2. 23, 2011. Proceedings-Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21

پدیدآورنده : / Francois Kempf, Marius Bozga, Oded Maler (auth.), Uli Fahrenberg, Stavros Tripakis (eds.)-Jean

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

رده :

E-BOOK

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها